Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
181	Interactive Content Analysis: Evaluating Interactive Variants of Non-negative Matrix Factorisation and Latent Dirichlet Allocation as Qualitative Content Analysis Aids Aneesha Bakharia Bachelor of Engineering in Microele Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2014-10-02 23:10:22 Statistical natural language processing Research methods Evaluation methods Information retrieval Multivariate statistics Non-negative matrix factorization Analysis Content analysis Latent Dirichlet allocation Science Statistics Mathematics
182	An Extension of the LATEX theorem environment∗ Frank Mittelbach April 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html. Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2015-04-12 16:30:12 Logical syntax Philosophical logic Philosophy of language Theorems LaTeX TeX Logic Mathematics Logical consequence
183	On Scenario Synchronization Duc-Hanh Dang1 , Anh-Hoang Truong1 , and Martin Gogolla2 1 University of Engineering and Technology, Vietnam National University of Hanoi, Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2010-06-09 06:21:16 UML diagrams Infographics Theoretical computer science Models of computation Graph rewriting State diagram Activity diagram Graph Unified Modeling Language Graph theory Diagrams Mathematics
184	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
185	Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-12-10 11:30:39 Science Bigraph Calculus Formal language Logic Process calculus Theoretical computer science Mathematics Applied mathematics
186	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-31 10:48:50 Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams
187	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
188	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
189	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
190	Reprinted with corrections from The Bell System Technical Journal, Vol. 27, pp. 379–423, 623–656, July, October, 1948. A Mathematical Theory of Communication By C. E. SHANNON Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:45:26 Markov models N-gram Natural language processing Speech recognition Markov chain Variable Summation Letter frequency Entropy Mathematics Science Statistics

UPDATE